REF, NoConds
(a ORELSE b) == ((a)  ORELSE (b)) 

latex

---

clarification:

REF, NoConds
(a ORELSE b) == ((a)  ORELSE (b)) 

latex

Up	Tactics as terms
FDL editor aliases	-ore